Optimal. Leaf size=221 \[ -\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}+\frac {(2 c d-b e)^2 (b e g (7+2 m)-2 c (d g m+e f (7+m))) (d+e x)^m \left (\frac {c (d+e x)}{2 c d-b e}\right )^{-\frac {1}{2}-m} (c d-b e-c e x)^3 \sqrt {d (c d-b e)-b e^2 x-c e^2 x^2} \, _2F_1\left (\frac {7}{2},-\frac {5}{2}-m;\frac {9}{2};\frac {c d-b e-c e x}{2 c d-b e}\right )}{7 c^4 e^2 (7+m)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.24, antiderivative size = 221, normalized size of antiderivative = 1.00, number of steps
used = 5, number of rules used = 5, integrand size = 44, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.114, Rules used = {808, 693, 691,
72, 71} \begin {gather*} \frac {(2 c d-b e)^2 (d+e x)^m (-b e+c d-c e x)^3 \sqrt {d (c d-b e)-b e^2 x-c e^2 x^2} \left (\frac {c (d+e x)}{2 c d-b e}\right )^{-m-\frac {1}{2}} (b e g (2 m+7)-2 c (d g m+e f (m+7))) \, _2F_1\left (\frac {7}{2},-m-\frac {5}{2};\frac {9}{2};\frac {c d-b e-c e x}{2 c d-b e}\right )}{7 c^4 e^2 (m+7)}-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (m+7)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 71
Rule 72
Rule 691
Rule 693
Rule 808
Rubi steps
\begin {align*} \int (d+e x)^m (f+g x) \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx &=-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}-\frac {(b e g (7+2 m)-2 c (d g m+e f (7+m))) \int (d+e x)^m \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx}{2 c e (7+m)}\\ &=-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}-\frac {\left ((b e g (7+2 m)-2 c (d g m+e f (7+m))) (d+e x)^m \left (1+\frac {e x}{d}\right )^{-m}\right ) \int \left (1+\frac {e x}{d}\right )^m \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx}{2 c e (7+m)}\\ &=-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}-\frac {\left ((b e g (7+2 m)-2 c (d g m+e f (7+m))) (d+e x)^m \left (1+\frac {e x}{d}\right )^{-\frac {1}{2}-m} \sqrt {c d^2-b d e-b e^2 x-c e^2 x^2}\right ) \int \left (1+\frac {e x}{d}\right )^{\frac {5}{2}+m} \left (c d^2-b d e-c d e x\right )^{5/2} \, dx}{2 c e (7+m) \sqrt {c d^2-b d e-c d e x}}\\ &=-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}-\frac {\left (\left (-c d e-\frac {e \left (c d^2-b d e\right )}{d}\right )^2 (b e g (7+2 m)-2 c (d g m+e f (7+m))) (d+e x)^m \left (-\frac {c d e \left (1+\frac {e x}{d}\right )}{-c d e-\frac {e \left (c d^2-b d e\right )}{d}}\right )^{-\frac {1}{2}-m} \sqrt {c d^2-b d e-b e^2 x-c e^2 x^2}\right ) \int \left (c d^2-b d e-c d e x\right )^{5/2} \left (\frac {c d}{2 c d-b e}+\frac {c e x}{2 c d-b e}\right )^{\frac {5}{2}+m} \, dx}{2 c^3 d^2 e^3 (7+m) \sqrt {c d^2-b d e-c d e x}}\\ &=-\frac {g (d+e x)^m \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{c e^2 (7+m)}+\frac {(2 c d-b e)^2 (b e g (7+2 m)-2 c (d g m+e f (7+m))) (d+e x)^m \left (\frac {c (d+e x)}{2 c d-b e}\right )^{-\frac {1}{2}-m} (c d-b e-c e x)^3 \sqrt {d (c d-b e)-b e^2 x-c e^2 x^2} \, _2F_1\left (\frac {7}{2},-\frac {5}{2}-m;\frac {9}{2};\frac {c d-b e-c e x}{2 c d-b e}\right )}{7 c^4 e^2 (7+m)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.87, size = 161, normalized size = 0.73 \begin {gather*} \frac {(d+e x)^{-3+m} ((d+e x) (-b e+c (d-e x)))^{7/2} \left (-7 c^3 g (d+e x)^3-(-2 c d+b e)^2 (-b e g (7+2 m)+2 c (d g m+e f (7+m))) \left (\frac {c (d+e x)}{2 c d-b e}\right )^{-\frac {1}{2}-m} \, _2F_1\left (\frac {7}{2},-\frac {5}{2}-m;\frac {9}{2};\frac {-c d+b e+c e x}{-2 c d+b e}\right )\right )}{7 c^4 e^2 (7+m)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int \left (e x +d \right )^{m} \left (g x +f \right ) \left (-c \,e^{2} x^{2}-b \,e^{2} x -b d e +c \,d^{2}\right )^{\frac {5}{2}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: HeuristicGCDFailed} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \left (f+g\,x\right )\,{\left (d+e\,x\right )}^m\,{\left (c\,d^2-b\,d\,e-c\,e^2\,x^2-b\,e^2\,x\right )}^{5/2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________